More from this Author

Cyber-Physical System Design from an Architecture Analysis Viewpoint

by Shin Nakajima (Editor), Jean-Pierre Talpin (Editor), Masumi Toyoshima (Editor), Huafeng Yu (Editor)

Cyber-Physical System Design from an Architecture Analysis Viewpoint

by Shin Nakajima (Editor), Jean-Pierre Talpin (Editor), Masumi Toyoshima (Editor), Huafeng Yu (Editor)

Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems

by Yamine Ait-Ameur (Editor), Shin Nakajima (Editor), Dominique Méry (Editor)